منابع مشابه
(m, M) Machining system with two unreliable servers, mixed spares and common-cause failure
This paper deals with multi-component machine repair model having provision of warm standby units and repair facility consisting of two heterogeneous servers (primary and secondary) to provide repair to the failed units. The failure of operating and standby units may occur individually or due to some common cause. The primary server may fail partially following full failure whereas secondary se...
متن کامل20 Y M M S
Twenty years ago, modal and mixed specifications were proposed as abstract models of system behavior. In this paper, we explain the nature and utility of such specifications, relate them to other formalisms, showcase some of their established applications, and mention some existing tool support. We also present some recent complexity results for decision problems underlying such applications an...
متن کاملSpotlights: [M+.Crown.Y-] as a reagent (M+= K+, NO+; Y-= Br3-, I3-, H(NO3)2)
Fateme Derakhshan-Panah was born in Hamedan (Iran) in 1987. She received her B.S. in Pure Chemistry (2009) and M.S. in Organic Chemistry (2011) from Bu-Ali Sina University, Iran. She is currently working towards her Ph.D. under the supervision of Professor M. A. Zolfigol. Her research interest is organic methodology especially the application of solid acids and ionic liquids in organic synthesis.
متن کاملSpotlights: [M+.Crown.Y-] as a reagent (M+= K+, NO+; Y-= Br3-, I3-, H(NO3)2)
Fateme Derakhshan-Panah was born in Hamedan (Iran) in 1987. She received her B.S. in Pure Chemistry (2009) and M.S. in Organic Chemistry (2011) from Bu-Ali Sina University, Iran. She is currently working towards her Ph.D. under the supervision of Professor M. A. Zolfigol. Her research interest is organic methodology especially the application of solid acids and ionic liquids in organic synthesis.
متن کاملM m m Queue with Balking, Reneging and Additional Servers
In this paper, we consider a multi-server queuing system in which additional servers are allowed for a longer queue to reduce the customer’s balking and reneging behavior. The customers are assumed to arrive in Poisson fashion and their service- times follow exponential distribution. The number of servers in long run depends on the queue-length. We obtain equilibrium queue size distribution. Th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista Española de Filosofía Medieval
سال: 2013
ISSN: 2530-7878,1133-0902
DOI: 10.21071/refime.v20i.6006